Memory Vulnerability Diagnosis for Binary Program

Instruction-Vulnerability-Factor-Based Reliability Analysis Model for Program Memory

Bit faults induced by single-event upsets in instruction may not cause a system to experience an error. The instruction vulnerability factor (IVF) is first defined to quantify the effect of non-effective upsets on program reliability in this paper; and the mean time to failure (MTTF) model of program memory is then derived based on IVF. Further analysis of MTTF model concludes that the MTTF of ...

Risk and Vulnerability Program

The long-term aim of the IIASA Program on Risk and Vulnerability (RAV) is to conduct conceptual and applied analyses that contribute to decreasing the risk and vulnerability of societies and ecosystems, and promoting their adaptation and resilience, to stresses imposed or aggravated by global change phenomena. The research will be relevant mainly, but not exclusively, to developing countries. B...

Mandibular Trabecular Bone Analysis Using Local Binary Pattern for Osteoporosis Diagnosis

Background: Osteoporosis is a systemic skeletal disease characterized by low bone mineral density (BMD) and micro-architectural deterioration of bone tissue, leading to bone fragility and increased fracture risk. Since Panoramic image is a feasible and relatively routine imaging technique in dentistry; it could provide an opportunistic chance for screening osteoporosis. In this regard, numerous...

Structure-Preserving Binary Relations for Program Abstraction

An abstraction is a property-preserving contraction of a program’s model into a smaller one that is suitable for automated analysis. An abstraction must be sound, and ideally, complete. Soundness and completeness arguments are intimately connected to the abstraction process, and approaches based on homomorphisms and Galois connections are commonly employed to define abstractions and prove their...

Structure-Preserving Binary Relations for Program Abstraction